Click here for EDACafe
Search:  
Click here for IBSystems
  Home | EDA Weekly | Companies | Downloads | e-Catalog | IP | Audio | Forums | News | Resources |
  Check Email | Submit Material | Universities | Books | Events | Advertise | PCBCafe| Subscription | techjobscafe |  ItZnewz  |  RSS  |
Cadence - Allegro platform eNewsletter
www.mentor.com/dft
www.mentor.com/dsm
 EDACafe  - Innovation Through Collaboration EDA Portal, EDA News, EDA Jobs, EDA Presentations, EDA Newsgroups, Electronic Design Automation.
Review the article and give us your feedbackeMail Article to a friend Printer Friendly version of the Article

Reminder - Real Intent, a Leader in Formal Verification, Invites EDS Fair Attendees to Learn More About Verix & Formal From Spec to Sign-off Thursday, January 26th & Friday, January 27th, Pacifico, Yokohama, Japan



Rate This Article
Excellent
Good
Average
Bad
Poor
YOKOHAMA, JAPAN -- (MARKET WIRE) -- Jan 26, 2006 --


Who:

Real Intent, the leading supplier of formal verification software invites EDS Fair attendees to visit the CTC booth and learn more about Verix and Formal from Spec to Signoff.

What's New:

A new software release, Verix 5.0, introduced last month, includes a breakthrough Convergence Engine™ that improves capacity and performance of the entire Verix family by up to 10x for most designs, so that many designs which were impossible to formally verify, can now be formally verified. Verix includes Implied Intent Verification™, Expressed Intent Verification™ and Clock Intent Verification™ software.

When/Where:

Dates: Thursday, January 26 and Friday, January 27, 2006

Location: Booth #903; Pacifico Yokohama

Information and Registration:

Please visit http://www.edsfair.com for more information, and to register.

For more information about Real Intent, please visit www.realintent.com.

Appointment Information:

To arrange a meeting with Real Intent at EDS Fair, please visit booth #903.

About Real Intent Solutions

The Verix and PureTime families are state-of-the-art verification software, which utilize the power of formal analysis to verify design assertions and either prove them correct or detect bugs that are hard to find. Verix and PureTime can often detect defects entirely missed with other Register Transfer Level (RTL) verification techniques. The Convergence Engine™ with Adaptive Orchestration™ and 2-Dimensional Compression™ forms the keystone of the industry's largest formal capacity and proof capability. Verix Expressed Intent Verification (formal assertion-based verification), Verix Clock Intent Verification (hazard detection), Verix Implied Intent Verification (automatic formal design verification), and PureTime™ (timing exception verification) together constitute what we call "Formal from Spec to Sign-off."

Availability:

Verix™ Clock Intent Verification 5.0 is available today to existing and new customers of Real Intent.

About Real Intent

Real Intent is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent's products dramatically improve the functional verification efficiency of leading edge application-specific integrated circuit (ASIC), system-on-chip (SOC), and Field Programmable Gate Array (FPGA) devices. Over 30 major electronics design houses, including Sun Microsystems, ATI, Avago Technologies, nVidia, and NEC Electronics, use Real Intent software.

Founded in 1999, Real Intent is a privately held Electronic Design Automation (EDA) company headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web: www.realintent.com, e-mail: Email Contact.

Verix is a trademark of Real Intent Inc. All other trademarks and tradenames are the property of their respective owners.

Press Contact:
Georgia Marszalek
Valley PR for Real Intent
(650) 345-7477
Email Contact





Review ArticleBe the first to review this article
www.mentor.com/pcb
Synopsys - Now With SystemVerilog testbench
One Vendor - Total Solutions - Your Souce for IP


Click here for Internet Business Systems Copyright 1994 - 2006, Internet Business Systems, Inc.
1-888-44-WEB-44 --- Contact us, or visit our other sites:
AECCafe  DCCCafe  TechJobsCafe  GISCafe  MCADCafe  NanoTechCafe  PCBCafe  
  Privacy Policy